Abstrakt. Allmänna åtgärdsspråk, t.ex. Situationsanalys, använd full klassisk logik för att representera kunskap om handlingar och deras effekter på dynamiska områden. Beskrivning Logiken, å andra sidan, har utvecklats för att representera statisk kunskap med hjälp av decidable undergrupper av första ordningen logik. I den här artikeln visar vi hur man använder Beskrivning Logic som grund för en beslutsam men ändå uttrycksfull handlingsformalism. I detta syfte använder vi ABoxar som decidable tillståndsbeskrivningar i den grundläggande Fluent Calculus. Som ett andra bidrag får vi alltså en oberoende semantik - baserad på en allmän handlingsformalism - för en ny metod för ABox-Update.
Den senaste tidens resultat REF har utvidgat beskrivningslogikens formalism ( kort sagt en delmängd av första ordningens logik) för att definiera och resonera om driftskontrakt.
Integrating Action Calculi and Description Logics
{'venue': 'KI', 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}