Abstrakt. Inom agentbaserade Ambient Intelligence-tillämpningar reagerar agenter på människor baserat på information som erhållits genom sensoring och deras kunskap om människans funktion. Lämpliga typer av reaktioner beror på i vilken utsträckning ett agens förstår människan och kan tolka tillgänglig information (som ofta är ofullständig, och därmed multi-tolkbar) för att skapa en mer fullständig inre bild av miljön, inklusive människor. En sådan förståelse kräver att agenten har kunskap till ett visst djup om människans fysiologiska och mentala processer i form av en explicit representerad modell av de kausala och dynamiska relationer som beskriver dessa processer. Med tanke på en sådan modellrepresentation behöver agenten dessutom resonerande metoder för att dra slutsatser av modellen och tolka (partiell) information som finns tillgänglig genom sensoring. I detta dokument presenteras utvecklingen av en verktygslåda som kan användas av en modellör för att designa Ambient Intelligence-applikationer. Denna verktygslåda innehåller ett antal modellbaserade resonemangsmetoder och metoder för att kontrollera sådana resonemangsmetoder. Formella specifikationer i ett körbart tidsformat erbjuds, vilket möjliggör simulering av resonemangsprocesser och automatisk verifiering av de resulterande resonemangsspåren i en särskild programvarumiljö. Ett antal sådana simuleringsförsök och deras formella analys beskrivs. Det viktigaste bidraget i detta dokument är att resonemangsmetoderna i verktygslådan har möjlighet att resonera med hjälp av både kvantitativa och kvalitativa aspekter i kombination med en timlig dimension, och möjligheten att utföra ett fokuserat resonemang baserat på viss heuristisk information.
En tidning av Bosse et al. REF presenterar en verktygslåda med en mängd olika resonemangsmetoder som hänvisar till tidslogik.
Methods for Model-Based Reasoning within Agent-Based Ambient Intelligence Applications *
{'venue': 'Knowl. Based Syst.', 'journal': 'Knowl. Based Syst.', 'mag_field_of_study': ['Computer Science']}