[图书][B] Qualitative representations: How people reason and learn about the continuous world

KD Forbus - 2019 - books.google.com
An argument that qualitative representations—symbolic representations that carve
continuous phenomena into meaningful units—are central to human cognition. In this book …

[PDF][PDF] Qualitative models for strategic planning

T Hinrichs, K Forbus - Proceedings of the Third Annual Conference on …, 2015 - cogsys.org
A longstanding challenge is to make intelligent agents reason more abstractly and farther
ahead; in other words, to think strategically. The difficulty is that traditional approaches to …

Guiding and verifying early design using qualitative simulation

M Klenk, J de Kleer, DG Bobrow… - International …, 2012 - asmedigitalcollection.asme.org
Design of a system starts with functional requirements and expected contexts of use. Early
design sketches create a topology of components that a designer expects can satisfy the …

A stochastic discrete event simulator for effects-based planning

H Asadi, J Schubert - 2013 Winter Simulations Conference …, 2013 - ieeexplore.ieee.org
In this system oriented paper we describe the architectural framework and information flow
model of a stochastic discrete event simulator for evaluating military operational plans. The …

[PDF][PDF] Relational enhancement: A framework for evaluating and designing human-robot relationships

JR Wilson, T Arnold, M Scheutz - … at the thirtieth AAAI conference on …, 2016 - cdn.aaai.org
Much existing work examining the ethical behaviors of robots does not consider the impact
and effects of longterm human-robot interactions. A robot teammate, collaborator or helper is …

Automated verification of continuous and hybrid dynamical systems

W Denman - 2017 - cl.cam.ac.uk
The standard method used for verifying the behaviour of a dynamical system is simulation.
But simulation can check only a finite number of operating conditions and system …

Reasoning with qualitative velocity: Towards a hybrid approach

J Golińska-Pilarek, E Muñoz-Velasco - … 28-30th, 2012. Proceedings, Part I …, 2012 - Springer
Qualitative description of the movement of objects can be very important when there are
large quantity of data or incomplete information, such as in positioning technologies and …

[PDF][PDF] Automated fire support planning for combat simulations

BR Harder, C Darken - … of the International Conference on Social …, 2016 - sbp-brims.org
Today's constructive combat simulations are not capable of automatically generating
realistic battle plans. A contributing cause for this is the lack of a fire support planning …

[PDF][PDF] Safety Issues of Power Grid Construction Simulation Research Based on Qsim Algorithm

S Liu, F Zhong, C Jia, J Su - scholar.archive.org
Power grid security is of great significance for social stability. In this paper, the relationship of
safety issues of power grid construction is analyzed. According to the association between …

[PDF][PDF] Operationalizing Tactical Representations

TR Hinrichs, KD Forbus - 2021 - qrg.northwestern.edu
Tactics comprise a middle ground of abstraction between primitive actions and strategies. In
this paper, we describe how an autonomous agent can use relatively general tactics as …