{"id":"https://openalex.org/W3109230518","doi":"https://doi.org/10.1109/codit49905.2020.9263814","title":"Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas","display_name":"Action Planning for Robots using the First Order Logic Calculus of Positively Constructed Formulas","publication_year":2020,"publication_date":"2020-06-29","ids":{"openalex":"https://openalex.org/W3109230518","doi":"https://doi.org/10.1109/codit49905.2020.9263814","mag":"3109230518"},"language":"en","primary_location":{"id":"doi:10.1109/codit49905.2020.9263814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit49905.2020.9263814","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072397476","display_name":"Artem Davydov","orcid":"https://orcid.org/0000-0002-8703-3096"},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":true,"raw_author_name":"Artem Davydov","raw_affiliation_strings":["Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch, Russian Academy of Sciences, Irkutsk, Russia"],"affiliations":[{"raw_affiliation_string":"Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch, Russian Academy of Sciences, Irkutsk, Russia","institution_ids":["https://openalex.org/I4210148533"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5002125649","display_name":"\u0410\u043b\u0435\u043a\u0441\u0430\u043d\u0434\u0440 \u041b\u0430\u0440\u0438\u043e\u043d\u043e\u0432","orcid":"https://orcid.org/0000-0003-1839-7897"},"institutions":[{"id":"https://openalex.org/I4210148533","display_name":"Institute for System Dynamics and Control Theory","ror":"https://ror.org/04wteqw51","country_code":"RU","type":"facility","lineage":["https://openalex.org/I1313323035","https://openalex.org/I1313323035","https://openalex.org/I4210127387","https://openalex.org/I4210148533","https://openalex.org/I4210164537"]}],"countries":["RU"],"is_corresponding":false,"raw_author_name":"Aleksandr Larionov","raw_affiliation_strings":["Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch, Russian Academy of Sciences, Irkutsk, Russia"],"affiliations":[{"raw_affiliation_string":"Matrosov Institute for System Dynamics and Control Theory of the Siberian Branch, Russian Academy of Sciences, Irkutsk, Russia","institution_ids":["https://openalex.org/I4210148533"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5072397476"],"corresponding_institution_ids":["https://openalex.org/I4210148533"],"apc_list":null,"apc_paid":null,"fwci":0.1954,"has_fulltext":false,"cited_by_count":2,"citation_normalized_percentile":{"value":0.51295624,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"2013","issue":null,"first_page":"727","last_page":"732"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9775000214576721,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10586","display_name":"Robotic Path Planning Algorithms","score":0.9775000214576721,"subfield":{"id":"https://openalex.org/subfields/1707","display_name":"Computer Vision and Pattern Recognition"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10906","display_name":"AI-based Problem Solving and Planning","score":0.9765999913215637,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9490000009536743,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/robot","display_name":"Robot","score":0.742993950843811},{"id":"https://openalex.org/keywords/situation-calculus","display_name":"Situation calculus","score":0.7235088348388672},{"id":"https://openalex.org/keywords/formalism","display_name":"Formalism (music)","score":0.6967997550964355},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5936200618743896},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.5492007732391357},{"id":"https://openalex.org/keywords/action","display_name":"Action (physics)","score":0.5408064126968384},{"id":"https://openalex.org/keywords/robotics","display_name":"Robotics","score":0.5110584497451782},{"id":"https://openalex.org/keywords/horn-clause","display_name":"Horn clause","score":0.5065327882766724},{"id":"https://openalex.org/keywords/logic-programming","display_name":"Logic programming","score":0.447405606508255},{"id":"https://openalex.org/keywords/first-order","display_name":"First order","score":0.4134639799594879},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4101954996585846},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.2514995336532593}],"concepts":[{"id":"https://openalex.org/C90509273","wikidata":"https://www.wikidata.org/wiki/Q11012","display_name":"Robot","level":2,"score":0.742993950843811},{"id":"https://openalex.org/C22497172","wikidata":"https://www.wikidata.org/wiki/Q1559077","display_name":"Situation calculus","level":2,"score":0.7235088348388672},{"id":"https://openalex.org/C73301696","wikidata":"https://www.wikidata.org/wiki/Q5469984","display_name":"Formalism (music)","level":3,"score":0.6967997550964355},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5936200618743896},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.5492007732391357},{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5408064126968384},{"id":"https://openalex.org/C34413123","wikidata":"https://www.wikidata.org/wiki/Q170978","display_name":"Robotics","level":3,"score":0.5110584497451782},{"id":"https://openalex.org/C189790780","wikidata":"https://www.wikidata.org/wiki/Q933932","display_name":"Horn clause","level":3,"score":0.5065327882766724},{"id":"https://openalex.org/C128838566","wikidata":"https://www.wikidata.org/wiki/Q275603","display_name":"Logic programming","level":2,"score":0.447405606508255},{"id":"https://openalex.org/C2987642246","wikidata":"https://www.wikidata.org/wiki/Q5452196","display_name":"First order","level":2,"score":0.4134639799594879},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4101954996585846},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.2514995336532593},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.0},{"id":"https://openalex.org/C28826006","wikidata":"https://www.wikidata.org/wiki/Q33521","display_name":"Applied mathematics","level":1,"score":0.0},{"id":"https://openalex.org/C142362112","wikidata":"https://www.wikidata.org/wiki/Q735","display_name":"Art","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C153349607","wikidata":"https://www.wikidata.org/wiki/Q36649","display_name":"Visual arts","level":1,"score":0.0},{"id":"https://openalex.org/C558565934","wikidata":"https://www.wikidata.org/wiki/Q2743","display_name":"Musical","level":2,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1109/codit49905.2020.9263814","is_oa":false,"landing_page_url":"https://doi.org/10.1109/codit49905.2020.9263814","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"2020 7th International Conference on Control, Decision and Information Technologies (CoDIT)","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/11","score":0.7400000095367432,"display_name":"Sustainable cities and communities"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320324099","display_name":"Russian Science Foundation","ror":"https://ror.org/03y2gwe85"}],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":11,"referenced_works":["https://openalex.org/W1781094","https://openalex.org/W1588872712","https://openalex.org/W2017754974","https://openalex.org/W2022089524","https://openalex.org/W2088371085","https://openalex.org/W2484885137","https://openalex.org/W2930266512","https://openalex.org/W2953466389","https://openalex.org/W2969992190","https://openalex.org/W2980400095","https://openalex.org/W6635449251"],"related_works":["https://openalex.org/W44642044","https://openalex.org/W2001027846","https://openalex.org/W2086035554","https://openalex.org/W2022937548","https://openalex.org/W2388232299","https://openalex.org/W4232524643","https://openalex.org/W1607887046","https://openalex.org/W1514277208","https://openalex.org/W4367190606","https://openalex.org/W2327931696"],"abstract_inverted_index":{"The":[0,22],"paper":[1],"presents":[2],"an":[3,48],"approach":[4,23,76],"to":[5,18,70],"constructing":[6,55],"plans":[7,57],"for":[8,58,85],"a":[9,52,59,80],"group":[10,60],"of":[11,35,42,50,54,61,83],"Lego":[12],"MindStorm":[13],"robots,":[14],"moving":[15],"small":[16],"blocks":[17],"the":[19,31,43,89,93],"target":[20],"area.":[21],"is":[24,46,64,77],"based":[25],"on":[26],"non-Horn":[27],"logical":[28],"programming":[29],"in":[30,73,88],"original":[32],"first-order":[33],"language":[34],"positively":[36],"constructed":[37],"formulas":[38],"(PCF).":[39],"A":[40],"description":[41],"PCF":[44],"formalism":[45],"given,":[47],"example":[49],"solving":[51],"problem":[53],"action":[56,72],"three":[62],"robots":[63],"presented.":[65],"Unlike":[66],"other":[67],"modern":[68],"approaches":[69],"planning":[71],"robotics,":[74],"our":[75],"distinguished":[78],"by":[79],"great":[81],"expressiveness":[82],"means":[84],"representing":[86],"knowledge":[87],"system":[90],"and":[91],"about":[92],"environment.":[94]},"counts_by_year":[{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}